$\forall$$M$:MsgA. $M$ $\oplus$  $=$ $M$